A theoretical distribution of the number of successes in a finite set of independent trials with a constant probability of success
